(define (problem strips-mprime-y-3)
   (:domain mystery-prime-strips)
   (:objects chicken turkey sweetroll potato tofu apple hamburger
             muffin yogurt shrimp onion popover haroset aesthetics
             satisfaction achievement intoxication excitement boils hangover
             dread loneliness abrasion jealousy depression laceration
             anxiety anger angina laceration-1 prostatitis-2 grief
             prostatitis sciatica dread-4 depression-7 loneliness-8
             hangover-3 boils-15 anxiety-16 grief-5 anger-6 sciatica-13
             abrasion-14 loneliness-32 sciatica-9 anger-10 jealousy-11
             angina-12 abrasion-29 hangover-30 angina-31 grief-28
             anxiety-23 prostatitis-24 jealousy-25 dread-26 depression-27
             goias kentucky oregon alsace bosnia bavaria uranus mars
             mercury neptune)
   (:init (food chicken)
          (food turkey)
          (food sweetroll)
          (food potato)
          (food tofu)
          (food apple)
          (food hamburger)
          (food muffin)
          (food yogurt)
          (food shrimp)
          (food onion)
          (food popover)
          (food haroset)
          (pleasure aesthetics)
          (pleasure satisfaction)
          (pleasure achievement)
          (pleasure intoxication)
          (pleasure excitement)
          (pain boils)
          (pain hangover)
          (pain dread)
          (pain loneliness)
          (pain abrasion)
          (pain jealousy)
          (pain depression)
          (pain laceration)
          (pain anxiety)
          (pain anger)
          (pain angina)
          (pain laceration-1)
          (pain prostatitis-2)
          (pain grief)
          (pain prostatitis)
          (pain sciatica)
          (pain dread-4)
          (pain depression-7)
          (pain loneliness-8)
          (pain hangover-3)
          (pain boils-15)
          (pain anxiety-16)
          (pain grief-5)
          (pain anger-6)
          (pain sciatica-13)
          (pain abrasion-14)
          (pain loneliness-32)
          (pain sciatica-9)
          (pain anger-10)
          (pain jealousy-11)
          (pain angina-12)
          (pain abrasion-29)
          (pain hangover-30)
          (pain angina-31)
          (pain grief-28)
          (pain anxiety-23)
          (pain prostatitis-24)
          (pain jealousy-25)
          (pain dread-26)
          (pain depression-27)
          (province goias)
          (province kentucky)
          (province oregon)
          (province alsace)
          (province bosnia)
          (province bavaria)
          (planet uranus)
          (planet mars)
          (planet mercury)
          (planet neptune)
          (craves achievement muffin)
          (eats shrimp yogurt)
          (eats hamburger popover)
          (craves sciatica potato)
          (craves satisfaction hamburger)
          (craves prostatitis-24 haroset)
          (craves angina-12 shrimp)
          (locale apple bavaria)
          (craves prostatitis potato)
          (craves anger sweetroll)
          (craves abrasion turkey)
          (craves boils-15 hamburger)
          (eats turkey sweetroll)
          (eats apple yogurt)
          (eats yogurt apple)
          (eats haroset apple)
          (locale chicken alsace)
          (craves boils chicken)
          (craves angina sweetroll)
          (craves angina-31 onion)
          (eats onion popover)
          (craves depression-7 apple)
          (craves intoxication onion)
          (locale onion kentucky)
          (harmony excitement mars)
          (harmony satisfaction mars)
          (craves prostatitis-2 potato)
          (eats tofu potato)
          (locale turkey kentucky)
          (eats muffin hamburger)
          (craves loneliness-32 shrimp)
          (craves anxiety-16 hamburger)
          (craves jealousy-25 haroset)
          (eats hamburger muffin)
          (craves sciatica-9 shrimp)
          (craves abrasion-14 yogurt)
          (eats potato turkey)
          (orbits uranus mars)
          (harmony aesthetics mercury)
          (locale yogurt alsace)
          (attacks oregon alsace)
          (craves anger-10 shrimp)
          (locale sweetroll alsace)
          (craves abrasion-29 onion)
          (eats onion shrimp)
          (eats turkey potato)
          (orbits mercury neptune)
          (eats chicken sweetroll)
          (craves anxiety sweetroll)
          (locale popover goias)
          (eats yogurt shrimp)
          (attacks bosnia bavaria)
          (locale potato alsace)
          (eats turkey tofu)
          (attacks alsace bosnia)
          (locale tofu goias)
          (eats potato chicken)
          (craves depression-27 haroset)
          (craves dread-4 tofu)
          (craves hangover-30 onion)
          (harmony achievement mars)
          (eats sweetroll turkey)
          (eats tofu turkey)
          (craves grief potato)
          (craves loneliness-8 apple)
          (craves dread turkey)
          (eats muffin haroset)
          (eats potato tofu)
          (eats haroset muffin)
          (craves anger-6 hamburger)
          (eats apple haroset)
          (locale shrimp kentucky)
          (eats popover hamburger)
          (craves dread-26 haroset)
          (craves loneliness turkey)
          (attacks kentucky oregon)
          (craves grief-5 hamburger)
          (craves jealousy turkey)
          (eats sweetroll chicken)
          (locale muffin alsace)
          (craves jealousy-11 shrimp)
          (locale haroset oregon)
          (craves grief-28 popover)
          (eats chicken popover)
          (craves depression sweetroll)
          (craves laceration-1 potato)
          (craves anxiety-23 haroset)
          (craves sciatica-13 yogurt)
          (eats popover onion)
          (locale hamburger kentucky)
          (orbits mars mercury)
          (craves hangover chicken)
          (attacks goias kentucky)
          (craves aesthetics apple)
          (craves excitement haroset)
          (eats chicken potato)
          (eats shrimp onion)
          (craves hangover-3 apple)
          (eats popover chicken)
          (craves laceration sweetroll)
          (harmony intoxication neptune))
   (:goal (and (craves anxiety haroset))))